Merge branch 'wip/chergert/fix-3977' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Wed, 26 May 2021 17:43:34 +0000 (17:43 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 26 May 2021 17:43:34 +0000 (17:43 +0000)
textbuffer: ensure user actions are propagated to history

Closes #3977

See merge request GNOME/gtk!3600


Trivial merge